one-to-one homomorphism

[数] 一一同态